This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThe International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
اقرأ المزيدThe focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
اقرأ المزيدThis book is about public open spaces, about people, and about the relationship between them and the role of technology in ...
اقرأ المزيدThis volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...
اقرأ المزيدDiscusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
اقرأ المزيدIn this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
اقرأ المزيدFDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
اقرأ المزيدThe Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...
اقرأ المزيدThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيدThis book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...
اقرأ المزيدThis book cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and ...
اقرأ المزيدThis book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ...
اقرأ المزيد